Number Theory Informed by Computation